1. Applied logic for computer scientists.
پدیدآورنده : \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
2. Logic, Rewriting, and Concurrency
پدیدآورنده : \ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a05,a03,a05,Computer software -- Development.,نرم‌افزار -- تولید
رده :
QA
76
.
L6
2015
E-Book
,
3. Reachability Problems.
پدیدآورنده : \ Mikołaj Bojańczyk , Sławomir Lasota, Igor Potapov (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a04,a03,a04
رده :
QA
76
.
R4
2015
E-Book
,
